G. Boolos; "The Logic of Provability"
Boolos, G.; "Provability Logic"の読書録